(0 7 3)(1 17 13)(2 11 10)(4 14 6)(5 15 9)(8 16 12)
ALLOWS (11/8)-SEQUENCE
1: (9 10 15)
(0 7 3)(1 17 13)(2 11 10 5 15)(4 14 6)(8 16 12)(9)
2: (2 5 15)
(0 7 3)(1 17 13)(2)(4 14 6)(5 11 10)(8 16 12)(9)(15)
3: (0 7 3)
(0)(1 17 13)(2)(3)(4 14 6)(5 11 10)(7)(8 16 12)(9)(15)
4: (4 14 6)
(0)(1 17 13)(2)(3)(4)(5 11 10)(6)(7)(8 16 12)(9)(14)(15)